$\forall$$m$:$\mathbb{N}$, $n$:\{0..$m$$^{-}$\}. upto($m$)[$n$] = $n$ $\in$ $\mathbb{Z}$